Greyscale-box test-driven development
blog.ploeh.dk·12h
🧪Binary Fuzzing
Automated Test Generation with Custom Claude Commands: Architecting Scalable Testing for Modern Node.js Applications
dev.to·10h·
Discuss: DEV
🔍Concolic Testing
Balance between refactoring and inheritance in your code
github.com·19h·
Discuss: Hacker News
✅Format Verification
How to Debug Chez Scheme Programs (2002)
scheme.com·9h·
Discuss: Hacker News
📜Proof Carrying Code
The Risks of Code Assistant LLMs: Harmful Content, Misuse and Deception
unit42.paloaltonetworks.com·9h
⚡Proof Automation
Efficient Polynomial Identity Testing Over Nonassociative Algebras
arxiv.org·3h
🧮Algebraic Datatypes
Genkit Go 1.0: Google brings stable AI framework to the Go ecosystem
heise.de·13h
🏛️Agda
Unit test isolation using MVCC
blog.alexsanjoseph.com·17h·
Discuss: Hacker News
🐛Fuzzing
Test state, not interactions
rednafi.com·2d·
Discuss: Hacker News
🐛Fuzzing
What is Algebraic about Algebraic Effects?
interjectedfuture.com·15h
✨Algebraic Effects
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧮Z3 Solver
Hyper-Specific Sub-Field: **Fuzzing for IoT Firmware Reverse Engineering**
dev.to·5h·
Discuss: DEV
🧪Binary Fuzzing
Arguzz: Testing zkVMs for Soundness and Completeness Bugs
arxiv.org·3h
🧮Z3 Solver
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·16h·
Discuss: www.blogger.com
🔗Lisp
Rustlantis: Randomized Differential Testing of the Rust Compiler
plf.inf.ethz.ch·10h·
Discuss: Hacker News
🦀Rust Macros
A Visual Guide to Tuning Gradient Boosted Trees
towardsdatascience.com·12h
🧠Intelligence Compression
I Tested AI 'Humanizers' to See How Well They Actually Disguise AI Writing
lifehacker.com·13h
⚡Proof Automation
SEC Consult SA-20250911-0 :: Unauthenticated SQL Injection Vulnerability in Shibboleth Service Provider (SP) (ODBC interface)
seclists.org·4h
✅Format Verification
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·12h·
Discuss: Hacker News
λLambda Encodings
A Kevin week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
📐Linear Algebra